Theorem Proving System - PDFSEARCH.IO - Document Search Engine

Theorem Proving System
Results: 96

#	Item
41	Proceedings of the 7th IJCAR ATP System Competition (CASC-J7) Geo↵ Sutcli↵e University of Miami, USA Abstract Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2014-11-26 09:16:24 Theoretical computer science CADE ATP System Competition Vampire E theorem prover CASC Automated reasoning Mathematical logic Mathematical proof Theorem Logic Mathematics Automated theorem proving
42	Computational Creativity Autumn School Lecture 1 Introduction to Computational Creativity Add to Reading List Source URL: ccg.doc.gold.ac.uk Language: English - Date: 2013-09-18 13:05:30 Problem solving Computational creativity Reasoning Reasoning system Creativity Logic programming Planner Solver Book:Knowledge-Based Engineering Artificial intelligence Automated theorem proving Science
43	Random Testing in PVS Sam Owre SRI International, Computer Science Laboratory 333 Ravenswood Avenue, Menlo Park, CA 94025, USA [removed] Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2006-08-26 05:21:12 Automated theorem proving Lisp programming language Mathematical logic Randomness Prototype Verification System IP Proof assistant Dependent type Common Lisp Computing Software engineering Logic
44	AAAI-06 Technical Paper Abstracts (Organized by schedule of presentation) Tuesday, July 18 10:20 – 11:20 AM Machine Learning I Add to Reading List Source URL: www.aaai.org Language: English - Date: 2008-12-16 00:04:28 Inductive reasoning Reasoning Cybernetics Automated theorem proving Constraint programming Reasoning system Algorithm Collaborative filtering Agent-based model Artificial intelligence Science Cognition
45	PVS Prover Guide Version 2.4 • November 2001 N. Shankar S. Owre J. M. Rushby Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:59 Proof theory Logical syntax Mathematical logic Nqthm First-order logic Proof assistant Prototype Verification System Natural deduction Theorem Logic Mathematics Automated theorem proving
46	PVS System Guide Version 2.4 • November 2001 S. Owre N. Shankar J. M. Rushby Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:59 Automated theorem proving Prototype Verification System Proof assistant Emacs Common Lisp Software Computing Lisp programming language
47	Unleashing M AYHEM on Binary Code Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert and David Brumley Carnegie Mellon University Pittsburgh, PA {sangkilc, thanassis, alexandre.rebert, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-02-15 14:07:11 Theoretical computer science Automated theorem proving Concolic testing Symbolic execution KeY Parallel computing X86 Type system Algorithm Data types Formal methods Computing
48	UITP 2005 Preliminary Version The User Interface of the KIV Verification System — A System Description Dominik Haneberg, Simon B¨aumler, Michael Balser, Holger Grandy, Frank Ortmeier, Wolfgang Reif, Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:17 Formal methods Automated theorem proving Proof assistant ACL2 KeY Theorem Isabelle Mathematical logic Formal verification Mathematics Theoretical computer science Mathematical software
49	A Unified Proof System for QBF Preprocessing? Marijn J.H. Heule1 , Martina Seidl2 , and Armin Biere2 1 Department of Computer Science, The University of Texas at Austin, USA [removed] Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-07-31 09:57:45 Automated theorem proving Boolean algebra Mathematical logic Resolution True quantified Boolean formula Conjunctive normal form Limit Literal Model theory Mathematics Logic Theoretical computer science
50	National Emergency Grant (NEG) Program Dislocated Worker Training (DWT) NEG Electronic Application System (eSystem) User Guide Complete applications must be received by COB June 7, 2013 to be considered for funding. Add to Reading List Source URL: doleta.gov Language: English - Date: 2013-05-29 09:17:31 Metalogic Well-formed formula Automated theorem proving Logic Mathematical logic Logical syntax

UPDATE